logic n. 1.邏輯,理論學。 2.推理[方法];邏輯性,條理性。 3. 威力,壓力,強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯,惡徒的歪理[言行]。 mathematical logic數理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
base n. 1.基底,基,根基,底座;底層,底子;(紀念碑等的)基址;(山)麓。 2.【軍事】基地,根據地。 3.根據,基礎。 4.【化學】堿;【紡織;印染】(染色)固色劑;媒染劑;【藥學】主劑。 5.【數學】底,底面,底邊,基點,基線;基數。 6.【體育】起點,出發(fā)線;【棒球】壘;目標。 7.【語言學】語根;詞干。 an air base 空軍基地。 the economic base 經濟基礎。 first [second, third] base【棒球】一[二、三]壘。 a base angle 底角。 a bayonet base 卡口燈座。 a code base (信息論)編碼基數。 a prisoner's base捉迷藏。 base of operation 作戰(zhàn)根據地。 at the base of 在…之麓;在…的基部。 change one's base 〔口語〕撤退。 get to first base 取得成功的。 off base 〔口語〕 1. 大錯特錯地。 2. 冷不防地。 3. 〔美俚〕傲慢的。 vt. 把…的基礎放在(…)上 (on upon), 以(…)作為…的根據。 base one's arguments upon facts 以事實作論辯根據。 base one's hopes on …把希望寄托在…上。 adj. -less 無基礎的,無根據的;無原由的。 adj. 1.賤的,劣的;卑下的,低級的;卑鄙的。 2.(子女)庶出的;私生的。 3.(語言)不純正的,粗俗的。 4.【音樂】低音的。 n. 【音樂】低音;低音部。 n. -ness (品質等的)惡劣;下賤,卑鄙。
base on 把……基于,以……為根基; 本該如此should; 建立在什么基礎之上; 依據/基于; 以為根據; 以為基礎; 在…基礎上
Study of flexible logic based on universal logic 基于泛邏輯學的柔性命題邏輯研究
Proving several theorems in first order logic based on back - and - forth method 向前向后法證明一階邏輯的幾個定理
The teaching logic base and structural framework of modern long - distance higher education 現代遠程高等教育教學的邏輯起點和結構框架
Generalized tautologies theory of universal logic based on 0 - level universal and operators 基于零級泛與運算的泛邏輯中廣義重言式理論
Semantic system of lattice - valued propositional logic based on finite lattice implication algebra 基于有限格蘊涵代數的格值命題邏輯語義系統(tǒng)
Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra 基于有限格蘊涵代數的格值命題邏輯語法系統(tǒng)
However , this tempo - ral logic based technology was not conveniently applied to the verification ofknowledge logic specification 然而,傳統(tǒng)的模型檢測是基于時態(tài)邏輯的,它并不支持知識邏輯規(guī)范的驗證。
Pattern centers around the simple concept of routing requests to specific pieces of business logic based on some defined criteria 模式是向基于既定標準的具體商業(yè)邏輯片斷發(fā)送請求這個簡單概念的核心內容。
The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter - examples 摘要基于一階邏輯相關概念的內涵,結合恰當的反例,探析了一階邏輯推理規(guī)則成立的條件。
Abstract : suggests a distributed operator logic based on evidence , which follows from the concept of relation number in the spa , and discuss its properties 文摘:根據spa中聯系數的概念,提出了一個基于證據的分布算子邏輯,并討論了其性質